Liên kết ngoài Toán

Liên kết ngoài Toán_học

Wikimedia Commons có thêm hình ảnh và phương tiện truyền tải về Toán học.

Wikibooks có một quyển sách tựa đề Thể loại:Toán học

Tra toán học trong từ điển mở tiếng Việt Wiktionary

Mathematics tại Encyclopædia Britannica (tiếng Anh)
Toán học tại Từ điển bách khoa Việt Nam
Viện Toán học. Việt Nam.
Mathematics Các khóa học và bài giảng về toán học. MIT OpenCourseWare.
Weisstein, Eric W., "Mathematics" từ MathWorld.
The Mathematical Atlas (Bản đồ các nhánh toán học).
Vietnam Journal of Mathematics
Acta Mathematica Vietnamica
Toán học và tuổi trẻ

Các chủ đề chính trong toán học
Nền tảng toán học \| Đại số \| Giải tích \| Hình học \| Lý thuyết số \| Toán học rời rạc \| Toán học ứng dụng \| Toán học giải trí \| Toán học tô pô \| Xác suất thống kê

Các chủ đề của toán học

Lịch sử · Đại cương · Danh sách

Nền tảng

Thuần tuý

Đại số	Đa tuyến tính Sơ cấp Trừu tượng Tuyến tính Vũ trụ
Giải tích	Giải tích hàm Giải tích phức Giải tích thực Phương trình vi phân Vi tích phân
Hình học	Đại số Euclid Giải tích Hữu hạn Rời rạc Vi phân
Lý thuyết số	Đại số Giải tích Số học
Tô pô	Đại số Hình học Rời rạc Vi phân

Rời rạc

Tính toán

Ứng dụng

Thể loại · Chủ đề · Commons · Dự án

Tensor

Glossary of tensor theory

Scope

Toán học	Hệ tọa độ multilinear algebra Hình học Euclid Đại số tensor dyadic Hình học vi phân exterior calculus Vi tích phân tensor
Vật lý học Kỹ thuật	Cơ học môi trường liên tục Điện từ học transport phenomena Thuyết tương đối rộng Thị giác máy tính

Ký hiệu

Tensor
Các định nghĩa

Các Phép toán

Related
abstractions

Notable tensors

Toán học	Kronecker delta Levi-Civita symbol metric tensor nonmetricity tensor Christoffel symbols Ricci curvature Riemann curvature tensor Weyl tensor torsion tensor
Vật lý học	moment of inertia angular momentum tensor spin tensor Cauchy stress tensor stress–energy tensor EM tensor gluon field strength tensor Einstein tensor metric tensor (GR)

Nhà toán học

x t s Khoa học tự nhiên
Toán học • Vật lý học • Hóa học • Sinh học • Khoa học Trái Đất • Thiên văn học

x t s Các ngành của vật lý học
Phạm vi	Vật lý ứng dụng Vật lý thực nghiệm Vật lý lý thuyết
Năng lượng, Chuyển động	Cơ học cổ điển Cơ học Lagrange Cơ học Hamilton Cơ học môi trường liên tục Cơ học thiên thể Cơ học thống kê Nhiệt động lực học Cơ học chất lưu Cơ học lượng tử
Sóng và Trường	Trường hấp dẫn Trường điện từ Lý thuyết trường lượng tử Thuyết tương đối Thuyết tương đối hẹp Thuyết tương đối rộng
Khoa học vật lý và Toán học	Vật lý máy gia tốc Âm học Vật lý thiên văn Vật lý Mặt Trời Vật lý thiên văn hạt nhân Vật lý không gian Vật lý sao Vật lý nguyên tử, phân tử, và quang học Hóa lý Vật lý tính toán Vật lý vật chất ngưng tụ Vật lý chất rắn Vật lý kỹ thuật số Vật lý kỹ thuật Vật lý vật liệu Vật lý toán Vật lý hạt nhân Quang học Quang học phi tuyến Quang học lượng tử Vật lý hạt Vật lý hạt thiên văn Phenomenology Plasma Vật lý polymer Vật lý thống kê
Vật lý và Sinh học / Địa chất học / Kinh tế học	Lý sinh học Cơ học sinh học Vật lý y khoa Vật lý thần kinh Vật lý nông học Vật lý đất Vật lý khí quyển Vật lý đám mây Vật lý kinh tế Địa vật lý Tâm vật lý học

Logic

Tổng quan

Lĩnh vực giáo dục

• Argumentation theory

• Axiology • Tư duy phản biện • Lý thuyết tính toán • Formal semantics • Lịch sử logic • Informal logic • Logic in computer science • Logic toán • Toán học • Metalogic • Metamathematics • Model theory • Logic triết học • Triết học • Philosophy of logic • Triết học của toán học • Proof theory

• Lý thuyết tập hợp

Nền tảng

• Abduction

• Analytic truth • Antinomy • Tiên nghiệm • Suy diễn logic • Định nghĩa • Description • Lập luận quy nạp • Suy luận • Logical form • Logical consequence • Logical truth • Tên gọi • Necessity • Meaning • Nghịch lý • Possible world • Presupposition • Xác suất • Lý tính • Lý tínhing • Tham khảo • Ngữ nghĩa học • Statement • Strict implication • Substitution • Syntax • Chân lý • Truth value

• Validity

Lý luận triết học

Tư duy phản biện Informal logic	• Analysis • Ambiguity • Luận cứ • Tín ngưỡng • Thiên kiến • Credibility • Evidence • Explanation • Explanatory power • Sự thật • Ngụy biện • Inquiry • Ý kiến • Dao cạo Ockham • Premise • Tuyên truyền • Prudence • Lý tính • Relevance • Tu từ học • Rigor • Vagueness
Lý luận triết học	• Constructivism • Dialetheism • Fictionalism • Finitism • Formalism • Intuitionism • Logical atomism • Logicism • Chủ nghĩa duy danh • Platonic realism • Chủ nghĩa thực dụng • Chủ nghĩa duy thực

• Định lý đường chéo Cantor

• Church's theorem • Church's thesis • Consistency • Effective method • Foundations of mathematics • Gödel's completeness theorem • Gödel's incompleteness theorems • Soundness • Completeness • Decidability • Interpretation • Löwenheim–Skolem theorem • Metatheorem • Satisfiability • Independence • Type–token distinction

• Use–mention distinction

Logic toán

General	• Ngôn ngữ hình thức • Formation rule • Formal system • Deductive system • Formal proof • Formal semantics • Well-formed formula • Tập hợp • Element • Class • Classical logic • Tiên đề • Natural deduction • Rule of inference • Quan hệ (toán học) • Định lý toán học • Logical consequence • Axiomatic system • Type theory • Symbol • Syntax • Theory
Thuật ngữ lý luận học	• Mệnh đề toán học • Inference • Luận cứ logic • Validity • Cogency • Tam đoạn luận • Square of opposition • Sơ đồ Venn
Propositional calculus Đại số Boole	• Boolean functions • Propositional calculus • Propositional formula • Logical connectives • Truth tables
Predicate logic	• First-order • Quantifiers • Predicate • Second-order • Monadic predicate calculus
Lý thuyết tập hợp	• Tập hợp • Tập hợp rỗng • Enumeration • Extensionality • Finite set • Hàm số • Tập hợp con • Tập lũy thừa • Tập hợp đếm được • Recursive set • Tập xác định • Range • Ordered pair • Uncountable set
Lý thuyết mô hình	• Model • Interpretation • Non-standard model • Finite model theory • Truth value • Validity
Lý thuyết chứng minh	• Formal proof • Deductive system • Formal system • Định lý toán học • Logical consequence • Rule of inference • Syntax
Computability theory	• Recursion • Recursive set • Recursively enumerable set • Decision problem • Church–Turing thesis • Computable function • Primitive recursive function

Lý luận học phi cổ điển

Modal logic	• Alethic • Axiologic • Deontic • Doxastic • Epistemic • Temporal
Intuitionism	• Intuitionistic logic • Constructive analysis • Heyting arithmetic • Intuitionistic type theory • Constructive set theory
Logic mờ	• Degree of truth • Fuzzy rule • Tập mờ • Fuzzy finite element • Fuzzy set operations
Substructural logic	• Structural rule • Relevance logic • Linear logic
Paraconsistent logic	• Dialetheism
Logic mô tả	• Bản thể luận • Ontology language

Danh sách các nhà lý luận học

• Anderson

• Aristoteles • Averroes • Avicenna • Bain • Barwise • Bernays • George Boole • Boolos • Georg Cantor • Carnap • Church • Chrysippus • Curry • De Morgan • Gottlob Frege • Geach • Gentzen • Kurt Gödel • David Hilbert • Kleene • Kripke • Gottfried Leibniz • Löwenheim • Giuseppe Peano • Charles Sanders Peirce • Hilary Putnam • Quine • Bertrand Russell • Schröder • John Duns Scotus • Skolem • Smullyan • Tarski • Alan Turing • Whitehead • William xứ Ockham • Ludwig Wittgenstein

• Zermelo

Danh sách

Chủ đề	• Index of logic articles • Mathematical logic • Boolean algebra • Set theory
Other	• Logicians • Rules of inference • Paradoxes • Fallacies • Logic symbols

Common logical symbols
& ∨ ¬ ~ → ⊃ ≡ \| ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵

• Portal

• Thể loại • Outline • WikiProject • Talk

changes

x t s Những lĩnh vực chính của khoa học máy tính
Các nền tảng toán học	Logic toán học · Lý thuyết tập hợp · Lý thuyết số · Lý thuyết đồ thị · Lý thuyết kiểu · Lý thuyết thể loại · Giải tích số · Lý thuyết thông tin · Đại số · Nhận dạng mẫu · Nhận dạng tiếng nói · Toán học tổ hợp · Đại số Boole · Toán rời rạc
Lý thuyết phép tính	Độ phức tạp Kolmogorov · Lý thuyết Automat · Lý thuyết tính được · Lý thuyết độ phức tạp tính toán · Lý thuyết điện toán lượng tử
Các cấu trúc dữ liệu và các giải thuật	Phân tích giải thuật · Thiết kế giải thuật · Hình học tính toán · Tối ưu hóa tổ hợp
Các ngôn ngữ lập trình và Các trình biên dịch	Các bộ phân tích cú pháp · Các trình thông dịch · Lập trình cấu trúc · Lập trình thủ tục · Lập trình hướng đối tượng · Lập trình hướng khía cạnh · Lập trình hàm · Lập trình logic · Lập trình máy tính · Lập trình mệnh lệnh · Lập trình song song · Lập trình tương tranh · Các mô hình lập trình · Prolog · Tối ưu hóa trình biên dịch
Tính song hành, Song song, và các hệ thống phân tán	Đa xử lý · Điện toán lưới · Kiểm soát song hành · Hiệu năng hệ thống · Tính toán phân tán
Công nghệ phần mềm	Phân tích yêu cầu · Thiết kế phần mềm · Các phương pháp hình thức · Kiểm thử phần mềm · Quy trình phát triển phần mềm · Các phép đo phần mềm · Đặc tả chương trình · LISP · Mẫu thiết kế · Tối ưu hóa phần mềm
Kiến trúc hệ thống	Kiến trúc máy tính · Tổ chức máy tính · Các hệ điều hành · Các cấu trúc điều khiển · Cấu trúc bộ nhớ lưu trữ · Vi mạch · Thiết kế ASIC · Vi lập trình · Vào/ra dữ liệu · VLSI design · Xử lý tín hiệu số
Viễn thông và Mạng máy tính	Audio máy tính · Chọn tuyến · Cấu trúc liên kết mạng · Mật mã học
Các cơ sở dữ liệu và Các hệ thống thông tin	Hệ quản trị cơ sở dữ liệu · Cơ sở dữ liệu quan hệ · SQL · Các giao dịch · Các chỉ số cơ sở dữ liệu · Khai phá dữ liệu · Biểu diễn và giao diện thông tin · Các hệ thống thông tin · Khôi phục dữ liệu · Lưu trữ thông tin · Lý thuyết thông tin · Mã hóa dữ liệu · Nén dữ liệu · Thu thập thông tin
Trí tuệ nhân tạo	Lập luận tự động · Ngôn ngữ học tính toán · Thị giác máy tính · Tính toán tiến hóa · Các hệ chuyên gia · Học máy · Xử lý ngôn ngữ tự nhiên · Robot học
Đồ họa máy tính	Trực quan hóa · Hoạt họa máy tính · Xử lý ảnh
Giao diện người-máy tính	Khả năng truy cập máy tính · Giao diện người dùng · Điện toán mang được · Điện toán khắp mọi nơi · Thực tế ảo
Khoa học tính toán	Cuộc sống nhân tạo · Tin sinh học · Khoa học nhận thức · Hóa học tính toán · Khoa học thần kinh tính toán · Vật Lý học tính toán · Các giải thuật số · Toán học kí hiệu
Chú ý: khoa học máy tính còn có thể được chia thành nhiều chủ đề hay nhiều lĩnh vực khác dựa theo Hệ thống xếp loại điện toán ACM.

Công nghệ phần mềm

Các lĩnh vực

Phân tích yêu cầu • Phân tích hệ thống • Thiết kế phần mềm • Lập trình máy tính • Các phương pháp hình thức • Kiểm thử phần mềm • Triển khai phần mềm • Bảo trì phần mềm

Các khái niệm

Mô hình hóa dữ liệu • Kiến trúc doanh nghiệp • Chi tiết hóa chức năng • Ngôn ngữ mô hình hóa • Mô hình lập trình • Phần mềm • Kiến trúc phần mềm • Phương pháp học phát triển phần mềm • Quy trình phát triển phần mềm • Chất lượng phần mềm • Bảo đảm chất lượng phần mềm • Khảo cổ học phần mềm • Phân tích có cấu trúc

Các định hướng

Định hướng khía cạnh • Định hướng đối tượng • Ontology • Định hướng dịch vụ • Vòng đời phát triển hệ thống

Các mô hình

Các mô hình phát triển	Linh hoạt • Mô hình lặp • RUP • Scrum • Mô hình xoắn ốc • Mô hình thác nước • XP • V-Model • Mô hình tăng tiến • Mô hình nguyên mẫu
Các mô hình khác	Automotive SPICE • CMMI • Mô hình dữ liệu • Mô hình hàm • Mô hình thông tin • Mô hình hóa meta • Mô hình đối tượng • Mô hình hệ thống • Mô hình quan sát
Các ngôn ngữ mô hình hóa	IDEF • UML

Các kỹ sư
phần mềm

Kent Beck • Grady Booch • Fred Brooks • Barry Boehm • Ward Cunningham • Ole-Johan Dahl • Tom DeMarco • Martin Fowler • C. A. R. Hoare • Watts Humphrey • Michael A. Jackson • Ivar Jacobson • Craig Larman • James Martin • Bertrand Meyer • David Parnas • Winston W. Royce • Colette Rolland • James Rumbaugh • Niklaus Wirth • Edward Yourdon • Victor Basili

Các lĩnh vực liên quan

Khoa học máy tính • Kỹ nghệ máy tính • Kỹ nghệ doanh nghiệp • Lịch sử • Quản lý • Toán học • Quản lý dự án • Quản lý chất lượng • Công thái học phần mềm • Kỹ nghệ hệ thống

Tiêu đề chuẩn	LCCN: sh85082139 GND: 4037944-9 HDS: 008274 NDL: 00571521